Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
241	Call for Papers KR-2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, Sept, 2008 Collocated with NMR-08, ICAPS-08, CP-08 Knowledge Representation a Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2007-08-20 15:27:27 Mathematical logic Non-classical logic Knowledge representation Non-monotonic logic Knowledge representation and reasoning Description logic Belief revision Paraconsistent logic Default logic Logic Science Reasoning
242	Knowledge Preconditions for Plans Ernest Davis Courant Institute New York, New York Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2004-01-06 13:23:35 Epistemology Omniscience Philosophy Science Mind Modal logic Non-classical logic Philosophical logic
243	cressaid_terms_and_conditions Add to Reading List Source URL: www.cressaid.com.au Language: English - Date: 2014-10-09 21:45:54 Philosophical logic Non-classical logic Abstraction Axiology Copyright Internet Relay Chat X Window System Modal logic Invoice Software Science Logic
244	A research and education initiative at the MIT Sloan School of Management Description Logic Programs: Combining Logic Programs with Description Logic Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:20 Information science Non-classical logic Semantic Web Logic in computer science Artificial intelligence Description logic First-order logic Ontology Function Logic Mathematical logic Mathematics
245	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2006-09-08 09:58:34 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
246	Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-17 11:25:02 Knowledge Reasoning Non-classical logic Critical thinking Defeasible reasoning Stable model semantics Argumentation theory Answer set programming Defeasible logic Logic programming Logic Science
247	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
248	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
249	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
250	Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-08-31 08:53:38 Proof theory Classical logic First-order logic Finite model theory Model theory Logic Mathematical logic Metalogic

UPDATE